theorem prover - Deutsch Englisch Wörterbuch